New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ci] Rename the deploy step to release #13931

Merged

danking merged 1 commit into hail-is:main from daniel-goldstein:rename-deploy-step-to-release

Oct 27, 2023

Contributor

daniel-goldstein commented Oct 27, 2023

"deploy" is a really overloaded term when it comes to CI and release much more accurately reflects that this step does.

Contributor

danking commented Oct 27, 2023

Excellent change

daniel-goldstein force-pushed the rename-deploy-step-to-release branch from 1d23c7d to 1eb1f20 Compare

October 27, 2023 14:31


          [ci] Rename the deploy step to release

c82f8f2

daniel-goldstein force-pushed the rename-deploy-step-to-release branch from 1eb1f20 to c82f8f2 Compare

October 27, 2023 14:33

daniel-goldstein assigned jigold

jigold approved these changes

View reviewed changes

danking merged commit 06f7483 into hail-is:main

8 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet